\begin{tabbing}
$\forall$\=$E$:Type\{i\}, $T$:(Id$\rightarrow$Id$\rightarrow$Type\{i\}), ${\it pred?}$:($E$$\rightarrow$(?$E$)),\+
\\[0ex]${\it info}$:($E$$\rightarrow$((:Id $\times$ Id) + (:(:IdLnk $\times$ $E$) $\times$ Id))), ${\it when}$, ${\it after}$:($x$:Id$\rightarrow$$e$:$E$$\rightarrow\mathbb{Q}\rightarrow$$T$(loc($e$),$x$)),
\\[0ex]${\it time}$:($E$$\rightarrow\mathbb{Q}$).
\-\\[0ex]SESAxioms\{i:l\}($E$; $T$; ${\it pred?}$; ${\it info}$; ${\it when}$; ${\it after}$; ${\it time}$) $\in$ $\mathbb{P}$\{i'\}
\end{tabbing}